Cation order and structural transition in La2MnCoO6
نویسندگان
چکیده
منابع مشابه
Functional Programming 1 First - Order Uni cation by Structural
First-order uniication algorithms (Robinson, 1965) are traditionally implemented via general recursion, with separate proofs for partial correctness and termination. The latter tends to involve counting the number of unsolved variables and showing that this total decreases each time a substitution enlarges the terms. There are many such proofs in the This paper shows how a dependent type can re...
متن کاملCation–π–cation interactions in structural biology
Biological structures are stabilized by a variety of noncovalent interactions, such as hydrogen bonds, π –stacking, salt bridges or hydrophobic interactions. Besides hydrogen bonds and π– stacking, cation–π interactions between aromatic rings and positively charged groups have emerged as one of the most important interactions in structural biology. Although the role and energetic characteristic...
متن کاملLinear Second-Order Uni cation
We present a new class of second-order uniication problems, which we have called linear. We deal with completely general second-order typed uniication problems, but we restrict the set of uniiers under consideration: they instantiate free variables by linear terms, i.e. terms where any-abstractions bind one and only one occurrence of a bound variable. Linear second-order uniication properly ext...
متن کاملStructural Adaptation of Boolean Higher Order Neurons : Classi cation with Parsimonious
We present alternative algorithms that avoid the combinatorial explosion problem, and that emerge robust generalization within Boolean higher order neurons. We report simulation results for diicult classiication benchmarks. Our algorithms eeciently determine parsimonious classiier topologies that exhibit striking generalization capabilities.
متن کاملCation and Anion Reorientation at Phase Transition in Pyridinium Tetrafluoroborate
für Naturforschung in cooperation with the Max Planck Society for the Advancement of Science under a Creative Commons Attribution 4.0 International License. Dieses Werk wurde im Jahr 2013 vom Verlag Zeitschrift für Naturforschung in Zusammenarbeit mit der Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V. digitalisiert und unter folgender Lizenz veröffentlicht: Creative Commons Namen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Physics: Conference Series
سال: 2011
ISSN: 1742-6596
DOI: 10.1088/1742-6596/325/1/012007